<?php function listplugins($s){
	global $page,$site;
	echo'<a class="plugin" href="index2.php?site=',$site,'&plugin=',$s[0],'&page=',$s[0],'&tag=',$s[1],'">',$s[0],': ',$s[1],'</a><br/>';
} ?>